lower sequent перевод

lower: 1) compar от low2) низший Ex: lower animals низшие животные Ex: (the) lower classes низкие классы Ex: lower orders низшие сословия Ex: the lower ranks of life, the lower walks of life _разг. низшие
sequent: 1) следующий, последовательный, идущий по порядку Ex: sequent events цепь событий2) являющийся следствием
cognate sequent: сходная секвенция
derivable sequent: мат. выводимая секвенция
end sequent: матем. конечная секвенция
explicit sequent: мат. явная секвенция
implicit sequent: мат. неявная секвенция
negative sequent: мат. негативная секвенция
positive sequent: мат. позитивная секвенция
prenex sequent: мат. предваренная секвенция
provable sequent: мат. доказуемая секвенция
regular sequent: мат. регулярная секвенция
sequent calculus: Исчисление секвенций
true sequent: мат. истинная секвенция
upper sequent: мат. верхняя секвенция